Geometric mean theorem